ON THE HOMOTOPY THEORY OF n-TYPES
نویسندگان
چکیده
We achieve a classification of n-types of simplicial presheaves in terms of (n− 1)-types of presheaves of simplicial groupoids. This can be viewed as a description of the homotopy theory of higher stacks. As a special case we obtain a good homotopy theory of (weak) higher groupoids.
منابع مشابه
On new types of contraction mappings in bipolar metric spaces and applications
Our aim is to present some common fixed point theorems in bipolar metric spaces via certain contractive conditions. Some examples have been provided to illustrate the effectiveness of new results. At the end, we give two applications dealing with homotopy theory and integral equations.
متن کاملON THE CAPACITY OF EILENBERG-MACLANE AND MOORE SPACES
K. Borsuk in 1979, at the Topological Conference in Moscow, introduced concept of the capacity of a compactum and asked some questions concerning properties of the capacity ofcompacta. In this paper, we give partial positive answers to three of these questions in some cases. In fact, by describing spaces homotopy dominated by Moore and Eilenberg-MacLane spaces, the capacities of a Moore space $...
متن کاملOn the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes
This thesis is composed of three separate parts. The first part deals with definability and productivity issues of equational systems defining polymorphic stream functions. The main result consists of showing such systems composed of only unary stream functions complete with respect to specifying computable unary polymorphic stream functions. The second part deals with syntactic and semantic no...
متن کاملComputing Homotopy Types Using Crossed N -cubes of Groups∗
The aim of this paper is to explain how, through the work of a number of people, some algebraic structures related to groupoids have yielded algebraic descriptions of homotopy n-types. Further, these descriptions are explicit, and in some cases completely computable, in a way not possible with the traditional Postnikov systems, or with other models, such as simplicial groups. These algebraic st...
متن کاملHomotopy Model Theory I: Syntax and Semantics
A model theory in the framework of Univalent Foundations requires a logic that allows us to define structures on homotopy (n-)types, similar to how first-order logic can define structures on sets. We define such an “n-level” logic for finite n. The syntax is based on a generalization of Makkai’s FOLDS, obtained by an operation that allows us to add equality sorts to FOLDS-signatures. We then gi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008